function favoris() { 
if ( navigator.appName != 'Microsoft Internet Explorer' ) 
{ window.sidebar.addPanel("gite de l'etoile du berger","http://www.gite-etoileduberger.com",""); } 
else { window.external.AddFavorite("http://www.gite-etoileduberger.com","gite de l'etoile du berger"); } }